321. Mathematical models for the semantics of parallelism : Advanced School, Rome, Italy, September 24-October 1,1986: Proceedings
پدیدآورنده: Marisa Venturini Zilli )ed.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Formal languages -- Semantics,Congresses ، Parallel programming )Computer science(,Congresses ، Parallel processing )Electronic computers(
رده :
QA
76
.
L28
Vol
.
280
322. Methods of algorithmic language implementation
پدیدآورنده: edited by A. Ershov and C.H.A. Koster
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L28
Vol
.
47
323. Methods of algorithmic language implementation
پدیدآورنده: edited by A. Ershov and C. H. A. Koster
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: Congresses ، Programming languages )Electronic computers(,Congresses ، Formal languages
رده :
QA
76
.
L4
v
.
47
324. Multi-agent systems and agreement technologies :
پدیدآورنده: Francesco Belardinelli, Estefanía Argente (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Multiagent systems, Congresses.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computer security.,Computers-- Expert Systems.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Expert systems / knowledge-based systems.,Mathematical theory of computation.,Mathematics-- Logic.,Multiagent systems.,Software Engineering.
رده :
QA76
.
76
.
I58
325. New trends in formal languages
پدیدآورنده: / Gheorghe P??un, Arto Salomaa, eds
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Programming languages (Electronic computers),Formal languages.,Parsing (Computer grammar)
رده :
QA
,
76
.
7
,.
N49
,
1997
326. New trends in formal languages :
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Programming languages (Electronic computers) ; Formal languages ; Parsing (Computer grammar) ;
327. New trends in formal languages : control, cooperation, and combinatorics
پدیدآورنده: Gheorghe Paun, Arto Salomaa )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Programming languages )Electronic computers(,، Formal languages,، Parsing )Computer grammar(
رده :
QA
76
.
L28
Vol
.
1218
328. Ontology matching
پدیدآورنده: Euzenat, Jerome.
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع: ، Information systems applications.,، Mathematical logic and formal languages.
رده :
TK
5105
.
88815
.
E93
2013
329. Parsing theory
پدیدآورنده: Sippu, Seppo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Formal languages,، Parsing )Computer grammar(
رده :
QA
267
.
3
.
S59
1988
330. Parsing theory
پدیدآورنده: Sippu, Seppo, 0591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parsing )Computer grammar(,، Formal languages
رده :
QA
267
.
3
.
S59
331. Partiality, modality, and nonmonotonicity /
پدیدآورنده: [edited by] Patrick Doherty
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Commonsense reasoning,Formal languages,Modality (Logic)
رده :
QA9
.
46
.
P37
1996
332. Partiality, truth, and persistence
پدیدآورنده: Langholm, Tore, 7591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Formal languages,، Model theory
رده :
P
25
.
C28
No
.
15
333. Philosophical and Mathematical Logic /
پدیدآورنده: by Harrie de Swart.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Epistemology.,Mathematical Logic and Formal Languages.,Mathematical Logic and Foundations.
رده :
BD143-237
334. Pictorial and formal aspects of shape and shape grammers, George Stingy
پدیدآورنده: Stiny
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع: Formal languages,Computer art,Aesthetics-- Data processing
رده :
QA
268
.
3
S74
1975
335. #Picture languages
پدیدآورنده: #Azriel Rosenfeld
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Machine theory ،Optical pattern recognition ،Formal languages
رده :
#
QA
،#.
R67
336. Picture languages
پدیدآورنده: / Azriel Rosenfeld
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Machine theory,Optical pattern recognition,Formal languages
رده :
QA
267
.
R67
337. Presumptive Meanings : The Theory of Generalized Conversational Implicature
پدیدآورنده:
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Semantics,Formal languages - Semantics,Implication (Logic),Pragmatics,Grammar, Comparative and general,معنی شناسی,زبان های صوری -- معنی شناسی,استلزام )منطق(,کاربردشناسی,دستور زبان تطبیقی,Levinson, Stephen C.
رده :
CD-B
,
P
,
325
,.
L4P7
,
2000
338. Principles and Practice of Constraint Programming
پدیدآورنده: \ Gilles Pesant (ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Constraint programming (Computer science) -- Congresses,Mathematical Logic and Formal Languages.,برنامه نویسی قیدی (کامپیوتر) -- کنگره ها,منطق ریاضی و زبان های صوری
رده :
QA
76
.
612
.
C7P7
2015
E-Book
,
339. Problem solving in automata, languages, and complexity
پدیدآورنده: Du, Dingzhu
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages,، Computational complexity
رده :
QA
267
.
D8
2001
340. Programs, machines, and computation : an introduction to the theory of computing
پدیدآورنده: Clark, Keith L.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Machine theory,، Formal languages
رده :
QA
267
.
C54
